Paradime - Proof Interlude